More from this Author

Basic Proof Theory

by A. S. Troelstra, H. Schwichtenberg, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)